diff --git a/configure b/configure index eca4a2bf4..315c42749 100755 --- a/configure +++ b/configure @@ -273,6 +273,7 @@ EXPERIMENT_LIST=" ext_inter ext_interp ext_refs + supertx " CONFIG_LIST=" dependency_tracking