diff options
Diffstat (limited to 'usr/src')
| -rw-r--r-- | usr/src/tools/smatch/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/usr/src/tools/smatch/Makefile b/usr/src/tools/smatch/Makefile index 7bd184d273..3fac59a066 100644 --- a/usr/src/tools/smatch/Makefile +++ b/usr/src/tools/smatch/Makefile @@ -130,6 +130,8 @@ BUILT_HEADERS = src/version.h src/check_list_local.h .KEEP_STATE: +.PARALLEL: $(OBJS) + all: $(PROG) install: all .WAIT $(ROOTONBLDMACHPROG) $(ROOTONBLDDATAFILES) |