From 4a1a2e6c8e6f77ba50db87752ea96bed98e5bf58 Mon Sep 17 00:00:00 2001 From: as6325400 Date: Wed, 23 Oct 2024 17:22:12 +0800 Subject: [PATCH] init --- sql/files/defaultdata/only_output/build | 2 ++ sql/files/defaultdata/only_output/run | 37 +++++++++++++++++++++++++ 2 files changed, 39 insertions(+) create mode 100755 sql/files/defaultdata/only_output/build create mode 100755 sql/files/defaultdata/only_output/run diff --git a/sql/files/defaultdata/only_output/build b/sql/files/defaultdata/only_output/build new file mode 100755 index 0000000000..3ad1806766 --- /dev/null +++ b/sql/files/defaultdata/only_output/build @@ -0,0 +1,2 @@ +#!/bin/sh +# nothing to compile diff --git a/sql/files/defaultdata/only_output/run b/sql/files/defaultdata/only_output/run new file mode 100755 index 0000000000..4b84146d82 --- /dev/null +++ b/sql/files/defaultdata/only_output/run @@ -0,0 +1,37 @@ +#!/bin/sh + +# Scala compile wrapper-script for 'compile.sh'. +# See that script for syntax and more info. +# +# This script requires that scala is installed in the chroot. + +DEST="$1" ; shift +MEMLIMIT="$1" ; shift +MAINSOURCE="$1" + +scalac "$@" +EXITCODE=$? +[ "$EXITCODE" -ne 0 ] && exit $EXITCODE + +MAINCLASS="${ENTRY_POINT:-$(basename "$MAINSOURCE" .scala)}" + +# Report the entry point, so it can be saved, e.g. for later replay: +if [ -z "$ENTRY_POINT" ]; then + echo "Info: detected entry_point: $MAINCLASS" +fi + +cat > "$DEST" <