diff --git a/collects/srpersist/info.ss b/collects/srpersist/info.ss index c35fa55e4b..914b17db1f 100644 --- a/collects/srpersist/info.ss +++ b/collects/srpersist/info.ss @@ -1,4 +1,4 @@ #lang setup/infotab ;; no .zo compilation necessary, since all the real code is in C++ -(define compile-omit-paths '("info.ss" "srpersist.ss" "main.ss")) +(define compile-omit-paths 'all)