Several improvements: quick fix (#918)
This commit is contained in:
parent
e0dea8b62e
commit
e578dccef1
@ -116,7 +116,6 @@ if [ "$1" = "install" ] || [ "$1" = "config" ]; then
|
|||||||
export LDFLAGS_MODULE="-unwindlib=libunwind"
|
export LDFLAGS_MODULE="-unwindlib=libunwind"
|
||||||
export HOSTLDFLAGS="-unwindlib=libunwind"
|
export HOSTLDFLAGS="-unwindlib=libunwind"
|
||||||
fi
|
fi
|
||||||
fi
|
|
||||||
|
|
||||||
if [[ "$1" = "install" && ! "$_distro" =~ ^(Ubuntu|Debian|Fedora|Suse|Gentoo|Generic)$ ]]; then
|
if [[ "$1" = "install" && ! "$_distro" =~ ^(Ubuntu|Debian|Fedora|Suse|Gentoo|Generic)$ ]]; then
|
||||||
msg2 "Variable \"_distro\" in \"customization.cfg\" has been set to an unkown value. Prompting..."
|
msg2 "Variable \"_distro\" in \"customization.cfg\" has been set to an unkown value. Prompting..."
|
||||||
|
Loading…
x
Reference in New Issue
Block a user