Lines Matching full:makefile
43 local makefile=$1
97 if [ ! -f "$makefile.1" ]; then
99 cat > "$makefile.1" <<EOF
128 cat >> "$makefile.1" <<EOF
134 cat >> "$makefile.1" <<EOF
140 cat >> "$makefile.1" <<EOF
147 echo "" >> "$makefile.1"
152 cat >> "$makefile.2" <<EOF
156 cat >> "$makefile.2" <<EOF
161 if [ ! -f "$makefile.3" ]; then
163 cat > "$makefile.3" <<EOF
190 if ! grep -q '^run.sh' "$makefile.3"; then
191 cat >> "$makefile.3" <<EOF
232 cat >> "$makefile.3" <<EOF
253 cat >> "$makefile.3" <<EOF
278 generate_makefile "$prereq_cache_dir/Makefile" "$prereq_cache_dir" "$compiler_args" $prereq_cache
287 # once for a single Makefile.
295 # Dump the last Makefile data cached up.
296 generate_makefile "$prereq_cache_dir/Makefile" $prereq_cache_dir "$compiler_args" $prereq_cache
332 find . -name Makefile.1 -exec dirname {} \; | while read dir; do
333 if [ -f "$dir/Makefile.2" ]; then
334 cat $dir/Makefile.1 $dir/Makefile.2 $dir/Makefile.3 > $dir/Makefile
336 rm $dir/Makefile.1 $dir/Makefile.2 $dir/Makefile.3