diff options
Diffstat (limited to 'process.sh')
| -rwxr-xr-x | process.sh | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/process.sh b/process.sh new file mode 100755 index 0000000..7d759f3 --- /dev/null +++ b/process.sh @@ -0,0 +1,24 @@ +#!/bin/sh +# +# Copyright 2023 The original authors +# +# Licensed under the Apache License, Version 2.0 (the "License"); +# you may not use this file except in compliance with the License. +# You may obtain a copy of the License at +# +# http://www.apache.org/licenses/LICENSE-2.0 +# +# Unless required by applicable law or agreed to in writing, software +# distributed under the License is distributed on an "AS IS" BASIS, +# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +# See the License for the specific language governing permissions and +# limitations under the License. +# + +if [ -z "$1" ] + then + echo "Usage: process_output.sh <fork name>" + exit 1 +fi + +java --enable-preview --source=21 process_output.java out_expected.txt $1.out |
