Browse Source

Add debug information whenever possible

Yentl Van Tendeloo 8 years ago
parent
commit
82800f3c73
1 changed files with 1 additions and 1 deletions
  1. 1 1
      scripts/compile.py

+ 1 - 1
scripts/compile.py

@@ -4,7 +4,7 @@ import urllib2
 import urllib
 import subprocess
 
-def do_compile(address, filename, username, modulename, mode, optionals=[], grammar="grammars/actionlanguage.g"):
+def do_compile(address, filename, username, modulename, mode, optionals=['--debug'], grammar="grammars/actionlanguage.g"):
     filename = os.path.realpath(filename)
     try:
         urllib2.urlopen(urllib2.Request(address, 'op=set_input&username=user_manager&value="%s"' % username)).read()