Skip to content
Snippets Groups Projects
Commit ae83913c authored by Anh Nguyen-Tuong's avatar Anh Nguyen-Tuong
Browse files

Turn off floating instrumentation if --no-stars

parent fe02191d
No related branches found
No related tags found
No related merge requests found
......@@ -107,6 +107,7 @@ parse_args()
;;
-S | --no-stars)
stars_opt=" "
float_opt=" -o zax:--disable-floating-instrumentation "
shift
;;
-g | --graph-optimization)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment