diff options
author | rsiddharth <s@ricketyspace.net> | 2018-11-12 21:53:45 -0500 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2018-11-12 21:53:45 -0500 |
commit | 3f4faf067f9a1905eae4ddd1a104be57b92ae237 (patch) | |
tree | f5bc9b351c3d2fac1ecaee35b3dac425730a02d3 | |
parent | 15493c6002c78f21b209cc04c6cbbbafc0239ed4 (diff) |
Makefile: Update guile.
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -2,7 +2,8 @@ # license: gnu gpl version 3 or higher. # copyright 2016 rsiddharth <s@ricketyspace.net> -guile:=`which guile 2>/dev/null || which guile2 2>/dev/null` +guile:=`which guile 2>/dev/null || which guile2 2>/dev/null \ + || which guile2.2 2>/dev/null` bin=/usr/local/bin |