blob: 4fdd2ffd76101cede69e1b73b185f8dcddf2466c (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- build.py 2020-03-15 12:21:26.000000000 +0100
+++ build.py_ 2020-03-17 16:54:56.441788277 +0100
@@ -147,7 +147,7 @@ if __name__ == "__main__":
do_clean = True
elif arg == "install":
do_install = True
- do_build = True
+ do_build = False
elif arg == "--help" or arg == "help":
exit( dump_usage())
elif arg == "--verbose":
|