added new firm_config.h generation
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 2 Dec 2004 16:33:58 +0000 (16:33 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 2 Dec 2004 16:33:58 +0000 (16:33 +0000)
[r4565]

configure

index 1aa3cb2..cc28322 100755 (executable)
--- a/configure
+++ b/configure
@@ -5412,3 +5412,6 @@ if test "$no_create" != yes; then
   # would make configure fail if this is the last instruction.
   $ac_cs_success || { (exit 1); exit 1; }
 fi
+
+
+gawk -f filter.awk < config.h | sed -f filter.sed > ir/common/firm_config.h