diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2011-11-04 16:00:26 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2011-11-04 16:00:26 -0700 |
| commit | 2f2878018cbe725110aaab43ffcf164aff0f576b (patch) | |
| tree | 0f79f510a84b030d8e4b31a961e896bd092d5b58 /tools/emmaken.py | |
| parent | 280b602f10cf996c5a591cd5cc74923e2ccad054 (diff) | |
emmaken fix
Diffstat (limited to 'tools/emmaken.py')
| -rwxr-xr-x | tools/emmaken.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/emmaken.py b/tools/emmaken.py index f97eaa4f..e203f196 100755 --- a/tools/emmaken.py +++ b/tools/emmaken.py @@ -136,7 +136,7 @@ try: if '--version' in opts: use_linker = False - if set(sys.argv[1]).issubset(set('cruqs')): # ar + if set(sys.argv[1]).issubset(set('-cruqs')): # ar sys.argv = sys.argv[:1] + sys.argv[3:] + ['-o='+sys.argv[2]] assert use_linker, 'Linker should be used in this case' |