[build] Add support for local configuration files
[people/pcmattman/gpxe.git] / src / config / timer.h
index cc6a93d..abd6698 100644 (file)
@@ -14,4 +14,6 @@ FILE_LICENCE ( GPL2_OR_LATER );
 //#undef               TIMER_PCBIOS
 //#define              TIMER_RDTSC
 
+#include <config/local/timer.h>
+
 #endif /* CONFIG_TIMER_H */