diff options
Diffstat (limited to 'src/libmain/shared.cc')
| -rw-r--r-- | src/libmain/shared.cc | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc index e9d000d41aa8..0d9f9af73e16 100644 --- a/src/libmain/shared.cc +++ b/src/libmain/shared.cc @@ -173,9 +173,6 @@ struct LegacyArgs : public MixCommonArgs mkFlag('Q', "no-build-output", "do not show build output", &settings.buildVerbosity, lvlVomit); - mkFlag(0, "print-build-trace", "emit special build trace message", - &settings.printBuildTrace); - mkFlag('K', "keep-failed", "keep temporary directories of failed builds", &settings.keepFailed); |