| 
					
				 | 
			
			
				@@ -17,6 +17,7 @@ printHelpExit() { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     echo "$0 valgrind <type> | run the tests with valgrind" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     echo "$0 coverage        | generate code coverage" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     echo "$0 performance     | run the performance tests" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+    echo "$0 stats           | run the performance tests with stats" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     echo "$0 macro           | find macros without CORE"  
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     echo "$0 time            | check build time" 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     exit 0 
			 | 
		
	
	
		
			
				| 
					
				 | 
			
			
				@@ -40,6 +41,7 @@ performance=false 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 time=false 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 install=false 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 coverage=false 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+stats=false 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				  
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 export CMAKE_EXPORT_COMPILE_COMMANDS=true 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				  
			 | 
		
	
	
		
			
				| 
					
				 | 
			
			
				@@ -104,6 +106,10 @@ elif [ "$task" = "valgrind" ]; then 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 elif [ "$task" = "performance" ]; then 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     build_profile=true 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     performance=true 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+elif [ "$task" = "stats" ]; then 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+    build_profile=true 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+    performance=true 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+    stats=true 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 elif [ "$task" = "time" ]; then 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     build_release=true 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     time=true 
			 | 
		
	
	
		
			
				| 
					
				 | 
			
			
				@@ -163,10 +169,15 @@ if $test_release; then 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 fi 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 if $performance; then 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     cd build_profile 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-    user=$(whoami) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-    sudo perf record ./performance 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-    sudo chown $user:$user perf.data 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-    perf report 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+    if $stats; then 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+        user=$(whoami) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+        sudo perf record ./performance 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+        sudo chown $user:$user perf.data 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+        sudo chown $user:$user default.profraw 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+        perf report 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+    else 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+        ./performance 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+    fi 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     cd .. 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 fi 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 if $time; then 
			 |