Updating: very very minorly

githwxi · Nov 12, 2017 · 99c0922 · 99c0922
1 parent 9c75d07
commit 99c0922
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 3 deletions.
diff --git a/doc/DISTRIB/ATS-Postiats/Makefile_dist b/doc/DISTRIB/ATS-Postiats/Makefile_dist
@@ -181,6 +181,18 @@ install_files_50: ; \
     fi; \
   done
 
+######
+#
+install_atslib: install_files_50  
+#
+######
+#
+reinstall_atslib:: ; \
+$(MAKE) -C ccomp/atslib clean
+reinstall_atslib:: ; \
+$(MAKE) -C ccomp/atslib clean
+reinstall_atslib:: install_atslib
+#
 ######
 #
 uninstall:: uninstall_bin

diff --git a/utils/myatscc/DATS/myatscc_main.dats b/utils/myatscc/DATS/myatscc_main.dats
@@ -273,6 +273,8 @@ println!("The following options are supported:")
 val () =
 println!("  -h/--help: for printing the help message")
 val () =
+println!("  --gc/--gcbdw: for malloc/free via Boehm-GC")
+val () =
 println!("  --dry/--dryrun: for command generation only")
 }
 //
@@ -338,9 +340,8 @@ then let
 //
 val () =
 if
-(
-"--gc" = argv[i]
-)
+string_is_prefix
+("--gc", argv[i])
 then
 (state.gcflag := state.gcflag + 1)
 //