Author: sebastien.lelong
Date: Mon Jun 29 02:49:58 2009
New Revision: 1061
Modified:
trunk/tools/jallib
trunk/tools/jallib.bat
trunk/tools/jallib.py
Log:
allow default arguments while building commandline, space-separated in
JALLIB_JALV2 env var
Modified: trunk/tools/jallib
==============================================================================
--- trunk/tools/jallib (original)
+++ trunk/tools/jallib Mon Jun 29 02:49:58 2009
@@ -30,6 +30,7 @@
# path to jallib root's samples.
export JALLIB_SAMPLEDIR="$JALLIB_ROOT/sample"
# path to "jalv2" executable. If not in your PATH, set an absolute path to
the exec
+# Arguments can be added if they're needed as default (Ex: "jalv2
-long-start")
export JALLIB_JALV2=jalv2
Modified: trunk/tools/jallib.bat
==============================================================================
--- trunk/tools/jallib.bat (original)
+++ trunk/tools/jallib.bat Mon Jun 29 02:49:58 2009
@@ -29,6 +29,7 @@
rem path to jallib root's samples.
set JALLIB_SAMPLEDIR=%JALLIB_ROOT%\sample
rem path to "jalv2" executable. If not in your PATH, set an absolute path
to the exec
+rem Arguments can be added if they're needed as default (Ex: "jalv2
-long-start")
set JALLIB_JALV2=%JALLIB_ROOT%\compiler\jalv2.exe
Modified: trunk/tools/jallib.py
==============================================================================
--- trunk/tools/jallib.py (original)
+++ trunk/tools/jallib.py Mon Jun 29 02:49:58 2009
@@ -202,8 +202,8 @@
dirs = _explore_dir(d)
# No exec specify, try env var or defaulting
if not jalv2_exec:
- jalv2_exec = os.environ.get('JALLIB_JALV2','jalv2')
- cmd = [jalv2_exec,"-s",";".join(dirs)]
+ jalv2_exec = os.environ.get('JALLIB_JALV2','jalv2').split()
+ cmd = jalv2_exec + ["-s",";".join(dirs)]
# Complete with compiler args
if args:
cmd.extend(args)
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"jallib" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/jallib?hl=en
-~----------~----~----~----~------~----~------~--~---
