X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Makefile;h=d7131420c18b249b978831a66f7c7a002d4676b2;hb=845db8182942e006a9164e41e9839adb39f24268;hp=a70d3f4495e6cb9156190b5fa243a3d4f1f368f3;hpb=a60e671bc05b648bc8291ec74d238ccb4b3c458b;p=ghc-hetmet.git diff --git a/Makefile b/Makefile index a70d3f4..d713142 100644 --- a/Makefile +++ b/Makefile @@ -327,8 +327,10 @@ endif ifneq "$($(Project)BinDistShScripts)" "" binary-dist:: @for i in $($(Project)BinDistShScripts); do \ - echo "Renaming $$i to $$i.sh"; \ - $(MV) $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/bin/$(TARGETPLATFORM)/$$i $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/bin/$(TARGETPLATFORM)/$$i.sh; \ + if test -x $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/bin/$(TARGETPLATFORM)/$$i ; then \ + echo "Renaming $$i to $$i.sh"; \ + $(MV) $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/bin/$(TARGETPLATFORM)/$$i $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/bin/$(TARGETPLATFORM)/$$i.sh; \ + fi \ done endif