aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xemcc5
1 files changed, 3 insertions, 2 deletions
diff --git a/emcc b/emcc
index 7b505244..2aea1d4f 100755
--- a/emcc
+++ b/emcc
@@ -378,8 +378,9 @@ for i in range(len(sys.argv)-1):
if header: # header or such
if len(sys.argv) >= 3: # if there is a source and a target, then copy, otherwise do nothing
- if DEBUG: print >> sys.stderr, 'Just copy.'
- shutil.copy(sys.argv[-1], sys.argv[-2])
+ sys.argv = filter(lambda arg: not arg.startswith('-I'), sys.argv)
+ if DEBUG: print >> sys.stderr, 'Just copy:', sys.argv[-1], target
+ shutil.copy(sys.argv[-1], target)
else:
if DEBUG: print >> sys.stderr, 'No-op.'
exit(0)