diff options
| author |  David Benjamin <davidben@mit.edu> | 2013-03-27 15:43:06 -0400 |
|---|---|---|
| committer | David Benjamin <davidben@mit.edu> | 2013-03-27 15:43:06 -0400 |
| commit | 1ad59b13a27ef5a204f0dd0b384fbd7d395a61a3 (patch) | |
| tree | 1a6e98bbccb6a4c0fdf9479ab06186909baa585f | |
| parent | f3c9dee12549bc0a55c8c4fcc6f72f8e3e87fefd (diff) | |
Mark build as a .PHONY target
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 3ad4444..6050010 100644 --- a/Makefile.in +++ b/Makefile.in @@ -59,5 +59,5 @@ install: always: -.PHONY: all check install clean clean_version always +.PHONY: all build check install clean clean_version always |