]> rtime.felk.cvut.cz Git - l4.git/blob - kernel/fiasco/src/Makerules.GBLCFG
update
[l4.git] / kernel / fiasco / src / Makerules.GBLCFG
1 # -*- makefile -*-
2
3 # 'date -r' doesn't work on BSDs, so we use stat there
4 filedate = $(shell if date --version 2>&1 | grep -q "Free Software F"; then  \
5                       date -R -r $(1);                                       \
6                     else                                                     \
7                       stat -f '%Sm' $(1);                                    \
8                     fi)
9
10 $(GBLCFG): globalconfig.out
11         $(VERBOSE)$(GREP) "CONFIG_.*=[^n].*$$" globalconfig.out | cut -f2- -d'_' > $@.txt
12         $(VERBOSE)echo "$(call filedate,globalconfig.out)" >> $@.txt
13         $(VERBOSE)$(LD) -m $(LD_EMULATION) -r --oformat $(OFORMAT) \
14            -b binary -o $@ $@.txt
15         $(VERBOSE)$(RM) $@.txt
16
17 clean-GBLCFG:
18         rm -f $(GBLCFG)
19