commit ded897555d75ba6f51669ba5e6178d01ea6d7806
author Stewart Smith <stewart@linux.ibm.com> Thu Apr 04 07:49:24 2019 +1100
committer GitHub <noreply@github.com> Thu Apr 04 07:49:24 2019 +1100
tree e7d0678b9255763efe88396a185dd2d8b7e9e66c
parent f8e2bd1935aaa7c03627d3f7afc3ad9c650953f0
parent 33ed8f1a60a90f13e8159ce0f58680a435073132

Merge pull request #2752 from shenki/ci-script-text

ci: Rename defconfig in build.sh

ci/build.sh

diff --git a/ci/build.sh b/ci/build.sh
index f03b1fb..988fac0 100755
--- a/ci/build.sh
+++ b/ci/build.sh
@@ -45,7 +45,7 @@
       echo ""
       echo "Example:DOCKER_PREFIX=sudo ./ci/build.sh -a"
       echo -e "\tDOCKER_PREFIX=sudo ./ci/build.sh -p firestone"
-      echo -e "\tDOCKER_PREFIX=sudo ./ci/build.sh -p garrison,palmetto,openpower_p9_mambo"
+      echo -e "\tDOCKER_PREFIX=sudo ./ci/build.sh -p garrison,palmetto,opal"
       exit 1
       ;;
     r)