diff -r bcd11dcd0d90 -r dcb0b9b42fcb src/HOL/TPTP/lib/Tools/tptp_isabelle
--- a/src/HOL/TPTP/lib/Tools/tptp_isabelle	Mon Jun 22 16:56:03 2015 +0200
+++ b/src/HOL/TPTP/lib/Tools/tptp_isabelle	Mon Jun 22 16:56:03 2015 +0200
@@ -24,6 +24,8 @@
 TIMEOUT=$1
 shift
 
+isabelle build -b HOL-TPTP
+
 for FILE in "$@"
 do
   echo "theory $SCRATCH imports \"$TPTP_HOME/ATP_Problem_Import\" begin \