diff options
Diffstat (limited to 'gpsshogi.install')
| -rw-r--r-- | gpsshogi.install | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gpsshogi.install b/gpsshogi.install new file mode 100644 index 000000000000..e5e0466f1125 --- /dev/null +++ b/gpsshogi.install @@ -0,0 +1,7 @@ +post_install() { + echo -n '>> Setting $GPSSHOGI_HOME/makefile.conf ...' + sed -i 's!^\(GPSSHOGI_REVISION_H = \)\(.*\)!\1/usr/include/gpsshogi/revision.h!' /usr/share/gpsshogi/makefile.conf + echo " done" + echo + echo 'Please relogin for the changes to GPSSHOGI_HOME environment variable to take effect.' +} |