diff options
| author | Piotr Jaroszyński | 2010-03-22 23:19:00 +0100 |
|---|---|---|
| committer | Michael Brown | 2010-03-26 20:07:22 +0100 |
| commit | 46d6ec7d77a041d8266d0d9811f57ba92e86599e (patch) | |
| tree | 9dee1e363ca6028070c28d4ced6565b48edf3240 /src/config/general.h | |
| parent | [pxe] Remove pxe_set_cached_filename() (diff) | |
| download | ipxe-46d6ec7d77a041d8266d0d9811f57ba92e86599e.tar.gz ipxe-46d6ec7d77a041d8266d0d9811f57ba92e86599e.tar.xz ipxe-46d6ec7d77a041d8266d0d9811f57ba92e86599e.zip | |
[build] Add support for local configuration files
Include config/local/$file in config/$file where it makes sense and
create empty local configs during build if not present.
Modified-by: Michael Brown <mcb30@etherboot.org>
Signed-off-by: Michael Brown <mcb30@etherboot.org>
Diffstat (limited to 'src/config/general.h')
| -rw-r--r-- | src/config/general.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/config/general.h b/src/config/general.h index 0a9e6252..bfab5b6e 100644 --- a/src/config/general.h +++ b/src/config/general.h @@ -145,4 +145,6 @@ FILE_LICENCE ( GPL2_OR_LATER ); #undef GDBUDP /* Remote GDB debugging over UDP * (both may be set) */ +#include <config/local/general.h> + #endif /* CONFIG_GENERAL_H */ |