@@ -67,11 +67,9 @@ exec_mafia () {
6767
6868 # Create a temporary file in MAFIA_BIN so we can do an atomic copy/move dance.
6969 mkdir -p $MAFIA_BIN
70− MAFIA_PATH_TEMP=$(mktemp --tmpdir=$MAFIA_BIN $MAFIA_FILE-XXXXXX 2>/dev/null || TMPDIR=$MAFIA_BIN mktemp -t $MAFIA_FILE)
7170
7271 clean_up () {
7372 rm -rf "$MAFIA_TEMP"
74− rm -f "$MAFIA_PATH_TEMP"
7573 }
7674
7775 trap clean_up EXIT
@@ -87,9 +85,19 @@ exec_mafia () {
8785
8886 bin/bootstrap ) || exit $?
8987
88+ MAFIA_PATH_TEMP=$(mktemp --tmpdir=$MAFIA_BIN $MAFIA_FILE-XXXXXX 2>/dev/null || TMPDIR=$MAFIA_BIN mktemp -t $MAFIA_FILE)
89+
90+ clean_up_temp () {
91+ clean_up
92+ rm -f "$MAFIA_PATH_TEMP"
93+ }
94+ trap clean_up_temp EXIT
95+
9096 cp "$MAFIA_TEMP/mafia/.cabal-sandbox/bin/mafia" "$MAFIA_PATH_TEMP"
91− chmod +x "$MAFIA_PATH_TEMP"
97+ chmod 755 "$MAFIA_PATH_TEMP"
9298 mv "$MAFIA_PATH_TEMP" "$MAFIA_PATH"
99+
100+ clean_up_temp
93101 }
94102
95103 exec $MAFIA_PATH "$@"
@@ -110,4 +118,4 @@ case "$MODE" in
110118upgrade) shift; run_upgrade "$@" ;;
111119*) exec_mafia "$@"
112120esac
113−# Version: d64cd4f4ab42c1431752d7c84e355b7d001778f8
121+# Version: dbbe635d8f98be1815130f04465c155f414985bf