@@ -388,6 +388,7 @@ data Opt = Filename String
388 | ShowLibs
388 | ShowLibs
389 | ShowLibdir
389 | ShowLibdir
390 | ShowIncs
390 | ShowIncs
391 | NoBasePkgs
392 | NoBasePkgs
392 | NoPrelude
393 | NoPrelude
393 | NoBuiltins -- only for the really primitive stuff!
394 | NoBuiltins -- only for the really primitive stuff!