diff --git a/make-dist b/make-dist old mode 100644 new mode 100755