diff options
Diffstat (limited to 'Ports/.port_include.sh')
| -rwxr-xr-x | Ports/.port_include.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Ports/.port_include.sh b/Ports/.port_include.sh index 50f3f7ca3b..e020422a18 100755 --- a/Ports/.port_include.sh +++ b/Ports/.port_include.sh @@ -66,6 +66,12 @@ function run_make_install() { run_command make $INSTALLOPTS install "$@" } +function run_send_to_file() { + echo "+ rewrite '$1'" + (cd "$PORT_DIR" && echo "$2" > "$1") + echo "+ FINISHED" +} + if [ -z "$1" ]; then echo "+ Fetching..." fetch |