diff --git a/run b/run index bc08897..7bd7b84 100755 --- a/run +++ b/run @@ -8,7 +8,7 @@ if [ -z "$CONFIG" ]; then fi if [ ! -f configs/${CONFIG}.rkt ]; then - echo "Config ${CONFIG} not found: config/${CONFIG}.rkt not readable" + echo "Config ${CONFIG} not found: configs/${CONFIG}.rkt not readable" exit 1 fi