aboutsummaryrefslogtreecommitdiff
path: root/project
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2020-07-04 02:16:16 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-07-04 02:19:37 +0100
commit27e9ade7bceaf0c4cfbe1bad308a5172ee801bd5 (patch)
tree3bd518bea6183abca8950ff4b7e6f3511fb05bf2 /project
parent318b73eee70b087735717b6eed1c91c935cb5518 (diff)
Some command line messages of ./project didn't mention shell
Until now, the 'shell' mode of the './project' script was missing in the top output of './project --help' and in the error message printed when no operation was given, or when more than one operation was given. This is now corrected.
Diffstat (limited to 'project')
-rwxr-xr-xproject5
1 files changed, 3 insertions, 2 deletions
diff --git a/project b/project
index 916dc33..cdd0976 100755
--- a/project
+++ b/project
@@ -71,6 +71,7 @@ print_help() {
# Print the output.
cat <<EOF
Usage: $scriptname configure [OPTIONS]
+ $scriptname shell [OPTIONS]
$scriptname make [OPTIONS]
Top-level script to manage the reproducible project. The high-level
@@ -151,7 +152,7 @@ func_operation_set() {
if [ x$operation = x ]; then
operation=$1
else
- echo "Only one operation ('configure' or 'make') may be given."
+ echo "Only one operation ('configure', 'make' or 'shell') may be given."
exit 1
fi
}
@@ -468,7 +469,7 @@ case $operation in
No operation defined!
Please run with '--help' for more information.
-(TIP: available operations are: 'configure' or 'make').
+(TIP: available operations are: 'configure', 'make', or 'shell').
EOF
exit 1