Index: configure
===================================================================
--- configure	(revision 05f4b852a288aa29df576dc46888fde08739d0c2)
+++ configure	(revision 3a8cc126af13429d2d32f11a760ec15fd4ed7bf1)
@@ -6295,4 +6295,6 @@
 
 
+ac_config_files="$ac_config_files src/tests/config.py"
+
 cat >confcache <<\_ACEOF
 # This file is a shell script that caches the results of configure
@@ -7061,4 +7063,5 @@
     "tools/Makefile") CONFIG_FILES="$CONFIG_FILES tools/Makefile" ;;
     "tools/prettyprinter/Makefile") CONFIG_FILES="$CONFIG_FILES tools/prettyprinter/Makefile" ;;
+    "src/tests/config.py") CONFIG_FILES="$CONFIG_FILES src/tests/config.py" ;;
 
   *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;;