Skip to content
Snippets Groups Projects
Commit 6c12b6cf authored by Bryan R's avatar Bryan R Committed by Marge Bot
Browse files

Remove tmp files after toolchain check

Fixes #25620
parent 84155cdb
No related branches found
No related tags found
No related merge requests found
...@@ -187,6 +187,7 @@ AC_DEFUN([VALIDATE_GHC_TOOLCHAIN],[ ...@@ -187,6 +187,7 @@ AC_DEFUN([VALIDATE_GHC_TOOLCHAIN],[
"$GHC_TOOLCHAIN_BIN" format --input="$1" --output="$o1" "$GHC_TOOLCHAIN_BIN" format --input="$1" --output="$o1"
"$GHC_TOOLCHAIN_BIN" format --input="$2" --output="$o2" "$GHC_TOOLCHAIN_BIN" format --input="$2" --output="$o2"
diff_output=`diff "$o1" "$o2" 2>&1` diff_output=`diff "$o1" "$o2" 2>&1`
rm -f "$o1" "$o2"
if test -z "$diff_output"; then if test -z "$diff_output"; then
true true
else else
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment