diff --git a/d/gambit/gambit.SlackBuild b/d/gambit/gambit.SlackBuild index ea98ebb0..a6f8dffa 100755 --- a/d/gambit/gambit.SlackBuild +++ b/d/gambit/gambit.SlackBuild @@ -57,6 +57,10 @@ mkdir -p $PKG make -j3 PREFIX=$PREFIX # installation make install DESTDIR=$PKG + # WTF .bat + for b in $PKG$PREFIX/bin/*.bat ; do + mv $b ${b%bat}sh + done ) # correction