X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=5a11401aa9f954580853d8b283bc7486beb64980;hb=de660f955747bb2b5d735118de979a6980d92c55;hp=b3833adfc1e87cfe949c404b018d2505691478d1;hpb=b4687aafa8f27beb62b5d255ad9ed8ebc8a80ef8;p=pspp

diff --git a/Smake b/Smake
index b3833adfc1..5a11401aa9 100644
--- a/Smake
+++ b/Smake
@@ -1,5 +1,7 @@
 # -*- makefile -*-
 
+all: everything
+
 # Adjust these to reflect where you've installed gnulib.
 GNULIB = ../gnulib
 GNULIB_TOOL = $(GNULIB)/gnulib-tool
@@ -306,7 +308,7 @@ src/ui/gui/icons/actions/16x16/help-about.png
 
 ICONS=$(CATEGORY_ICONS) $(ACTION_ICONS) $(MIMETYPE_ICONS) $(APP_ICONS) $(MISC_ICONS)
 
-all: prep_ph  icons
+everything: prep_ph  icons
 	$(MAKE) -f Smake Makefile.in configure
 
 icons: $(ICONS) src/ui/gui/icons/icon-names.c