DO NOT MERGE debug print of library check

hannes-steffenhagen-diffblue · hannes-steffenhagen-diffblue · commit 7edeb1f772c3 · 2020-02-28T11:18:45.000Z
diff --git a/src/ansi-c/library_check.sh b/src/ansi-c/library_check.sh
@@ -2,6 +2,7 @@
 
 CC=$1
 echo "C COMPILER THAT IS BEING USED: $CC"
+$CC --version
 shift
 
 for f in "$@"; do
