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

Update checker.sh and pipeline


Signed-off-by: default avatarDragos Iulian ARGINT <dragos.argint@stud.acs.upb.ro>
parent ae716999
No related branches found
No related tags found
No related merge requests found
......@@ -10,6 +10,7 @@ variables:
CONTAINER_RELEASE_IMAGE: $CI_REGISTRY_IMAGE:latest
DOCKER_HOST: tcp://docker:2375
DOCKER_TLS_CERTDIR: ""
ASSIGNMENT: 0-list
build:
......@@ -28,4 +29,4 @@ checker:
image:
name: gitlab.cs.pub.ro:5050/so2/0-list
script:
- echo ""
- ./checker/checker.sh $ASSIGNMENT
......@@ -32,10 +32,16 @@ run_checker()
local module_path="${assignment_dir}/${assignment_mod}"
echo "Copying the contents of src/ into $assignment_dir"
cp src/* $assignment_dir
echo "Checking if $assignment_mod exists before build"
if [ -f $module_path ]; then
echo "$assignment_mod shouldn't exists. Removing ${module_path}"
rm $module_path
fi
pushd /linux/tools/labs
if [ -f $module_path ]; then
echo "Removing ${module_path}"
fi
if [ -f $output ]; then
echo "Removing $output"
rm $output &> /dev/null
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment