1
0
mirror of https://github.com/php/php-src.git synced 2026-03-24 16:22:37 +01:00
Files
archived-php-src/scripts/dev/snapshot
Peter Kokot e0c88039b6 Move some scripts from root directory to scripts/dev/
At the time of this commit, there is a dedicated folder for development
related tools and such scripts might fit better there to not bloat the
project root directory too much.

Move snapshot to scripts/dev/snapshot
2019-02-16 16:58:48 +01:00

8 lines
108 B
Bash
Executable File

#! /bin/sh
if test -n "$1"; then
flags="DISTNAME=$1"
fi
${MAKE:-make} $flags -f build/build.mk snapshot