Merge branch 'master' into new-gc-master-merge

runtimeverification · Apr 15, 2022 · 337e34b · 337e34b
2 parents 0e61071 + 532855b
commit 337e34b
Showing 1 changed file with 15 additions and 1 deletion.
diff --git a/bin/llvm-krun b/bin/llvm-krun
@@ -347,7 +347,21 @@ else
 fi
 
 if $dryRun; then
-  if [ -n "$real_output_file" ]; then
+  if [ $binary_input != $binary_output ] && [ -n "$real_output_file" ]; then
+    (
+    if [ -n "$verbose" ]; then
+      set -x
+    fi
+    "$(dirname "$0")/kore-convert" "$expanded_input_file" -o "$real_output_file"
+    )
+  elif [ $binary_input != $binary_output ]; then
+    (
+    if [ -n "$verbose" ]; then
+      set -x
+    fi
+    "$(dirname "$0")/kore-convert" -F "$expanded_input_file"
+    )
+  elif [ -n "$real_output_file" ]; then
     cat "$expanded_input_file" > "$real_output_file"
   else
     cat "$expanded_input_file"