diff options
-rwxr-xr-x | bootstrap | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -56,7 +56,7 @@ if test -z "$libbutl"; then if test -d libbutl; then libbutl=libbutl else - libbutl=`echo libbutl-*` + libbutl=`echo libbutl-*/` if test ! -d "$libbutl"; then libbutl= fi @@ -67,7 +67,7 @@ if test -z "$libbutl"; then if test -d ../libbutl; then libbutl=../libbutl else - libbutl=`echo ../libbutl-*` + libbutl=`echo ../libbutl-*/` if test ! -d "$libbutl"; then libbutl= fi |