Skip to content
Snippets Groups Projects
Commit d0fb8a5e authored by Dragoș-Iulian ARGINT (94922)'s avatar Dragoș-Iulian ARGINT (94922)
Browse files

Update local.sh 


Signed-off-by: default avatarDragos Iulian ARGINT <dragos.argint@stud.acs.upb.ro>
parent c2105e15
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 5 deletions
local.sh
+ 2
− 5
View file @ d0fb8a5e
#!/bin/bash #!/bin/bash
cd "$(dirname "$0")" || exit 1 cd "$(dirname "$0")" || exit 1
#============================================================================= #=============================================================================
...@@ -256,9 +257,6 @@ checker_main() { ...@@ -256,9 +257,6 @@ checker_main() {
docker build "${extra_docker_args[@]}" -q -t "$image_name" . docker build "${extra_docker_args[@]}" -q -t "$image_name" .
fi fi
assign_tmpdir="$(mktemp -d)"
cp -R ${SRC_DIR}/* "$assign_tmpdir"
tmpdir="$(mktemp -d)" tmpdir="$(mktemp -d)"
cp -R ./* "$tmpdir" cp -R ./* "$tmpdir"
...@@ -268,9 +266,8 @@ checker_main() { ...@@ -268,9 +266,8 @@ checker_main() {
# otherwise stick to relative paths. # otherwise stick to relative paths.
# It is guaranteed that the current working directory in which checker.sh will run is $CI_PROJECT_DIR/checker. # It is guaranteed that the current working directory in which checker.sh will run is $CI_PROJECT_DIR/checker.
docker run $privileged --rm \ docker run $privileged --rm \
--mount type=bind,source="$assign_tmpdir",target="$ASSIGNMENT_MOUNT_DIR" \
--mount type=bind,source="$tmpdir",target="$MOUNT_PROJECT_DIRECTORY" \ --mount type=bind,source="$tmpdir",target="$MOUNT_PROJECT_DIRECTORY" \
"$image_name" /bin/bash -c "rm -rf /usr/local/bin/bash; cd \"$MOUNT_PROJECT_DIRECTORY/checker\"; \"$MOUNT_PROJECT_DIRECTORY/checker/checker.sh\" \"${script_args[@]}\"" # remove bash middleware script "$image_name" /bin/bash -c "rm -rf /usr/local/bin/bash; cd \"$MOUNT_PROJECT_DIRECTORY\"; \"$MOUNT_PROJECT_DIRECTORY/checker/checker.sh\" \"${script_args[@]}\"" # remove bash middleware script
if [ -n "$remove_image" ] ; then if [ -n "$remove_image" ] ; then
LOG_INFO "Cleaning up..." LOG_INFO "Cleaning up..."
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment