diff options
| author | Piotr Jaroszyński <p.jaroszynski@gmail.com> | 2010-03-22 23:19:00 +0100 |
|---|---|---|
| committer | Michael Brown <mcb30@etherboot.org> | 2010-03-26 19:07:22 +0000 |
| commit | 46d6ec7d77a041d8266d0d9811f57ba92e86599e (patch) | |
| tree | 9dee1e363ca6028070c28d4ced6565b48edf3240 /src/config/timer.h | |
| parent | 80d1ac7320f597b4c981dfdeb19d8e88eb85ca69 (diff) | |
| download | ipxe-46d6ec7d77a041d8266d0d9811f57ba92e86599e.tar.gz | |
[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/timer.h')
| -rw-r--r-- | src/config/timer.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/config/timer.h b/src/config/timer.h index cc6a93d18..abd669851 100644 --- a/src/config/timer.h +++ b/src/config/timer.h @@ -14,4 +14,6 @@ FILE_LICENCE ( GPL2_OR_LATER ); //#undef TIMER_PCBIOS //#define TIMER_RDTSC +#include <config/local/timer.h> + #endif /* CONFIG_TIMER_H */ |