##// END OF EJS Templates
a
Unknown -
r489:54e2ae4a5bc6
parent child
Show More
@@ -442,6 +442,11 if [ -n "$SSH_USER_PUB_KEY" ] ; then
442 442 fi
443 443 fi
444 444
445 if [ "$ENABLE_NEXMON" = true ] && [ -n "$KERNEL_BRANCH" ] ; then
446 echo "error: Please unset KERNEL_BRANCH if using ENABLE_NEXMON"
447 exit 1
448 fi
449
445 450 # Check if all required packages are installed on the build system
446 451 for package in $REQUIRED_PACKAGES ; do
447 452 if [ "$(dpkg-query -W -f='${Status}' "$package")" != "install ok installed" ] ; then
General Comments 0
Vous devez vous connecter pour laisser un commentaire. Se connecter maintenant