ghc-pkg: restore -no-user-package-conf flag.
authorPaolo Capriotti <p.capriotti@gmail.com>
Wed, 18 Jul 2012 09:39:08 +0000 (10:39 +0100)
committerPaolo Capriotti <p.capriotti@gmail.com>
Wed, 18 Jul 2012 10:50:03 +0000 (11:50 +0100)
utils/ghc-pkg/Main.hs

index ddc4821..d992b54 100644 (file)
@@ -137,6 +137,8 @@ flags = [
         "location of the global package database",
   Option [] ["no-user-package-db"] (NoArg FlagNoUserDb)
         "never read the user package database",
+  Option [] ["no-user-package-conf"] (NoArg FlagNoUserDb)
+        "never read the user package database (DEPRECATED)",
   Option [] ["force"] (NoArg FlagForce)
          "ignore missing dependencies, directories, and libraries",
   Option [] ["force-files"] (NoArg FlagForceFiles)