diff options
| author | Daniel Burrows <dburrows@debian.org> | 2010-05-14 08:59:08 -0700 |
|---|---|---|
| committer | Daniel Burrows <dburrows@debian.org> | 2010-05-14 08:59:08 -0700 |
| commit | b6f5712d4353a00b41cab956c78befb320183591 (patch) | |
| tree | c1a0a0bc41ca562e8e96d32082f2db7a14ef8a37 | |
| parent | 6f68e9d57743e421704216638c02edd330f6c8f7 (diff) | |
| download | aptitude-b6f5712d4353a00b41cab956c78befb320183591.tar.gz | |
Don't assign to use_new_gui if HAVE_GTK isn't set.
| -rw-r--r-- | src/main.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main.cc b/src/main.cc index 1f232db2..884b7884 100644 --- a/src/main.cc +++ b/src/main.cc @@ -911,7 +911,9 @@ int main(int argc, char *argv[]) break; case OPTION_NEW_GUI: +#ifdef HAVE_GTK use_new_gui = true; +#endif break; default: |