Updated PCI IDs to latest snapshot.
[tangerine.git] / arch / common / boot / grub2 / autogen.sh
blob6895de221b7a4a1a12dc83b42f11572b1e0bf30e
1 #! /bin/sh
3 set -e
5 autoconf
6 autoheader
7 echo timestamp > stamp-h.in
8 for rmk in conf/*.rmk; do
9 ruby genmk.rb < $rmk > `echo $rmk | sed 's/\.rmk$/.mk/'`
10 done
11 ./gendistlist.sh > DISTLIST
13 exit 0