aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1998-10-29 19:06:32 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1998-10-29 19:06:32 +0000
commitd902fb01660b60043a1e87a654a5dafbad191266 (patch)
treec7addc05af2aa861524667cca5b1ce1f5a8b4452 /Makefile
parentd607ce5cfd26922bea0ef61666805e4817cf3516 (diff)
Changed <target>.devel into devel.<target> cos I find it easier to think of
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 8670de12..8768b8a7 100644
--- a/Makefile
+++ b/Makefile
@@ -64,10 +64,10 @@ clean:
##
## This special target lets us use targets defined
## in developer's makefile Makefile.devel conveniently,
-## via make <target>.devel
+## via make devel.<target>
##
-%.devel:
+devel.%:
make -f Makefile.devel $*