diff options
| author | wxs <wxs@FreeBSD.org> | 2012-11-25 03:15:54 +0800 |
|---|---|---|
| committer | wxs <wxs@FreeBSD.org> | 2012-11-25 03:15:54 +0800 |
| commit | c686ccaaf473bf3f12042c192932dbc33bdddd7d (patch) | |
| tree | e70d1fd21f987e5c432b454422c7db51d6bd6e4c /devel/arduino-mk | |
| parent | 865e74d79e89b5985e4e0d87134c6a1db666a0cb (diff) | |
| download | freebsd-ports-gnome-c686ccaaf473bf3f12042c192932dbc33bdddd7d.tar.gz freebsd-ports-gnome-c686ccaaf473bf3f12042c192932dbc33bdddd7d.tar.zst freebsd-ports-gnome-c686ccaaf473bf3f12042c192932dbc33bdddd7d.zip | |
Run version.sh using ${SH}. This file does not have the executable
property set. No need to bump portrevision as it's a build fix.
PR: ports/173712
Submitted by: Craig Leres <leres@ee.lbl.gov> (maintainer)
Feature safe: yes
Diffstat (limited to 'devel/arduino-mk')
| -rw-r--r-- | devel/arduino-mk/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/arduino-mk/Makefile b/devel/arduino-mk/Makefile index 09367b5d1555..0d19d3ba514d 100644 --- a/devel/arduino-mk/Makefile +++ b/devel/arduino-mk/Makefile @@ -42,7 +42,7 @@ PLIST_SUB+= EXAMPLES="@comment " PLIST_SUB+= EXAMPLES="" .endif -ARDUINO_CMD= ${FILESDIR}/version.sh ${PREFIX}/arduino/lib/version.txt +ARDUINO_CMD= ${SH} ${FILESDIR}/version.sh ${PREFIX}/arduino/lib/version.txt OLD_BOARDS_TXT= /Applications/Arduino.app/Contents/Resources/Java/hardware/arduino/boards.txt NEW_BOARDS_TXT= ${PREFIX}/arduino/hardware/arduino/boards.txt |