mirror of
https://github.com/php/php-gtk-src.git
synced 2026-03-27 02:32:15 +01:00
6 lines
83 B
Bash
Executable File
6 lines
83 B
Bash
Executable File
#!/bin/sh
|
|
# $Id$
|
|
|
|
rm -f build2/generated_lists
|
|
${MAKE:-make} -s -f build2/build.mk
|