diff --git a/examples/make.py b/examples/make.py index ff0c60e9d2377f5d63ce0667adcd8ceec7b0a6e1..db5e3c140b7f3e454680fe6ca835ee575b2528da 100644 --- a/examples/make.py +++ b/examples/make.py @@ -1,6 +1,9 @@ -import os, glob, subprocess, time +import os, glob, subprocess, time, sys script_path = os.path.dirname(os.path.realpath(__file__)); for c_file in glob.glob(script_path + "/*/*.c", recursive=False): + if sys.platform != "linux" and sys.platform != "linux2" and "interop" in c_file: + print("Not Linux! skipping", c_file) + continue print("compiling", c_file) args = [ "gcc", # compiler