mirror of
https://develop.openfoam.com/Development/openfoam.git
synced 2025-11-28 03:28:01 +00:00
ENH: add help/usage for dirToString, wmkdep. Add dirToString -strip option.
- The dirToString -strip option is simple, but reduces effort for the caller.
This commit is contained in:
@ -34,7 +34,7 @@
|
||||
|
||||
if [ -r Make/options ]
|
||||
then
|
||||
echo "Error: Make/options already exists - exiting"
|
||||
echo "Error: Make/options already exists - exiting" 1>&2
|
||||
exit 1
|
||||
fi
|
||||
|
||||
|
||||
Reference in New Issue
Block a user