Permalink
Browse files

Do DEBUG build by default

  • Loading branch information...
1 parent f71e22e commit d7e0ea31aa874dd970621b331e6f1ac591e48a3c @surenm committed Dec 1, 2011
Showing with 2 additions and 2 deletions.
  1. +2 −2 build_secexec.sh
View
@@ -1,7 +1,7 @@
cd src/checker/cc_backend/se/
-#gcc -DDBG -DGETOPT -DJAIL -I. -o secexec secexec.c
+gcc -DDBG -DGETOPT -DJAIL -I. -o secexec secexec.c
#gcc -DDBG -DJAIL -I. -o secexec secexec.c
-gcc -I. -o secexec secexec.c
+#gcc -I. -o secexec secexec.c
sudo chown root:root secexec
sudo cp secexec /usr/local/bin
sudo chmod u+s secexec

0 comments on commit d7e0ea3

Please sign in to comment.