diff options
Diffstat (limited to 'editors/gawk/INSTALL')
-rwxr-xr-x | editors/gawk/INSTALL | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/editors/gawk/INSTALL b/editors/gawk/INSTALL index ddfa02110c..8d4d071b49 100755 --- a/editors/gawk/INSTALL +++ b/editors/gawk/INSTALL @@ -1,3 +1,4 @@ make DESTDIR=$INSTALL_ROOT install && -rm -f ${INSTALL_ROOT}/bin/awk && -ln -sf gawk ${INSTALL_ROOT}/bin/awk +if [ "$GAWK_DEF" = y ]; then + ln -sf "$SPELL" "$INSTALL_ROOT"/bin/awk +fi |