Switch to make_dist.py in Makefile

9 years ago · bbb592b59d
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1021,7 +1021,7 @@ cloc:	dist cloc-1.60.pl
 # XXX: make prints a harmless warning related to the sub-make.
 dist:
 	@make codepolicycheck
-	if [ -f compiler.jar ]; then sh util/make_dist.sh --minify closure --create-spdx; else sh util/make_dist.sh --minify none --create-spdx; fi
+	if [ -f compiler.jar ]; then python util/make_dist.py --minify closure --create-spdx; else python util/make_dist.py --minify none --create-spdx; fi

 .PHONY:	dist-src
 dist-src:	dist