configure
changeset 10333 e10b4216f9ba
parent 10239 cf55a4c21e7f
child 10379 dd9d0aade65e
equal deleted inserted replaced
10332:9c6d23be45a5 10333:e10b4216f9ba
   126 	sort="sed s~a~a~"
   126 	sort="sed s~a~a~"
   127 else
   127 else
   128 	sort="$sort -u"
   128 	sort="$sort -u"
   129 fi
   129 fi
   130 
   130 
   131 CONFIGURE_FILES="$ROOT_DIR/configure $ROOT_DIR/config.lib $ROOT_DIR/Makefile.in $ROOT_DIR/Makefile.lang.in $ROOT_DIR/Makefile.src.in"
   131 CONFIGURE_FILES="$ROOT_DIR/configure $ROOT_DIR/config.lib $ROOT_DIR/Makefile.in $ROOT_DIR/Makefile.lang.in $ROOT_DIR/Makefile.src.in $ROOT_DIR/Makefile.bundle.in"
   132 
   132 
   133 generate_main
   133 generate_main
   134 generate_lang
   134 generate_lang
   135 generate_src
   135 generate_src