diff options
| author | Richard M. Stallman <rms@gnu.org> | 1997-06-04 19:45:17 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 1997-06-04 19:45:17 +0000 |
| commit | 4e7c142c7fbcba351f896270006b02f6a4f46f8a (patch) | |
| tree | 57e645e0316d1ec44fc02048a0f8fd2403f4a6aa /src | |
| parent | c84cf2bf126ed1bf65b92c776e09e652ebd94b38 (diff) | |
| download | emacs-4e7c142c7fbcba351f896270006b02f6a4f46f8a.tar.gz | |
(stamp-oldxmenu): Always define this one way or another.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile.in | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index 9dc8beb9780..9d37529db41 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -913,7 +913,12 @@ really-oldXMenu: @true /* make -t should not create really-oldXMenu. */ .PHONY: really-oldXMenu #endif /* not USE_X_TOOLKIT */ -#endif /* HAVE_X_WINDOWS && HAVE_X11 && HAVE_MENUS */ +#else /* not (HAVE_X_WINDOWS && HAVE_X11 && HAVE_MENUS) */ + +/* We don't really need this, but satisfy the dependency. */ +stamp-oldxmenu: + touch stamp-oldxmenu +#endif /* not (HAVE_X_WINDOWS && HAVE_X11 && HAVE_MENUS) */ ../config.status:: paths.in @echo "The file paths.h needs to be set up from paths.in." |