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
169 if [ ! -f "$makefile.3" ]; then
171 cat > "$makefile.3" <<EOF
198 if ! grep -q '^run.sh' "$makefile.3"; then
199 cat >> "$makefile.3" <<EOF
240 cat >> "$makefile.3" <<EOF
261 cat >> "$makefile.3" <<EOF
286 generate_makefile "$prereq_cache_dir/Makefile" "$prereq_cache_dir" "$compiler_args" $prereq_cache
295 # once for a single Makefile.
303 # Dump the last Makefile data cached up.
304 generate_makefile "$prereq_cache_dir/Makefile" $prereq_cache_dir "$compiler_args" $prereq_cache
340 find . -name Makefile.1 -exec dirname {} \; | while read dir; do
341 if [ -f "$dir/Makefile.2" ]; then
342 cat $dir/Makefile.1 $dir/Makefile.2 $dir/Makefile.3 > $dir/Makefile
344 rm $dir/Makefile.1 $dir/Makefile.2 $dir/Makefile.3