diff options
author | jkoshy <jkoshy@FreeBSD.org> | 2000-10-25 04:31:32 +0000 |
---|---|---|
committer | jkoshy <jkoshy@FreeBSD.org> | 2000-10-25 04:31:32 +0000 |
commit | de9ac9599b41047b4405f7926f806a12e73d3782 (patch) | |
tree | 9309c87f9f1518f98757482cc1b7d8cdef66d445 /Makefile.inc1 | |
parent | 7bf42ee269b6594defeb8debffc7b50deac46c25 (diff) | |
download | FreeBSD-src-de9ac9599b41047b4405f7926f806a12e73d3782.zip FreeBSD-src-de9ac9599b41047b4405f7926f806a12e73d3782.tar.gz |
Fail the 'buildkernel' target if not even one of the specified kernel configuration
files was found.
Reviewed by: obrien
Diffstat (limited to 'Makefile.inc1')
-rw-r--r-- | Makefile.inc1 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.inc1 b/Makefile.inc1 index 3ce7704..c03c592 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -380,6 +380,10 @@ INSTALLKERNEL= ${_kernel} # Builds all kernels defined by BUILDKERNELS. # buildkernel: +.if empty(BUILDKERNELS) + @echo ">>> ERROR: Missing kernel configuration file(s) (${KERNEL})." + @false +.endif @echo @echo "--------------------------------------------------------------" @echo ">>> Rebuilding kernel(s)" |