Fixes #2194

2026-05-28 01:53:48 +08:00 · 2017-11-27 15:47:33 -08:00
parent 88e773e54c
commit 061c389811
2 changed files with 8 additions and 5 deletions
@@ -56,14 +56,17 @@ with open(sys.argv[2]) as fp:
        found = 0
        for vpath in vpaths:
            if os.path.isfile(path.join(vpath, f)) :
-                cmd = cmd + path.join(vpath, f) + ' '
-                found = found +1
+                if found == 0:
+                    # add file in the path only once
+                    cmd = cmd + path.join(vpath, f) + ' '
+                    found = found +1
                # break
        if found == 0:
            tmps = "ERROR: could not find src: " + f
            cmd = cmd + tmps #hack to make the error known
            print(tmps)            
        if found > 1:
+            # NOTE: this will never happen
            tmps = "ERROR: found src more than once: " + f
            cmd = cmd + tmps #hack to make the error known
            print(tmps)