remove no longer functional axiom check

buildjob

@@ -37,14 +37,6 @@ fi
 echo_color "$BOLDGREEN" "[buildjob] Perfoming build"
 time make --output-sync --no-print-directory -k -j$CPU_CORES 2>&1
 
-# maybe check for axioms
-if [[ -z "$AXIOMS_IGNORE" ]]; then
-    if fgrep Axiom build-log.txt >/dev/null; then
-        echo_color "$BOLDRED" "You used axioms, shame on you!"
-        exit 1
-    fi
-fi
-
 # maybe submit timing information
 if [[ -n "$TIMING_PROJECT" && -n "$TIMING_CONF" ]]; then
     # collect all information into one file