changeset 18141:2628fada589e

(stamp-oldxmenu): Always define this one way or another.
author Richard M. Stallman <rms@gnu.org>
date Wed, 04 Jun 1997 19:45:17 +0000
parents f16cf00a2f42
children c9bd973ca168
files src/Makefile.in
diffstat 1 files changed, 6 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/Makefile.in	Wed Jun 04 19:06:35 1997 +0000
+++ b/src/Makefile.in	Wed Jun 04 19:45:17 1997 +0000
@@ -913,7 +913,12 @@
 	@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."