mirror of
https://github.com/php/php-gtk-src.git
synced 2026-04-27 19:13:18 +02:00
Andrei Zmievski
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
|