Skip to content
Snippets Groups Projects
Commit c6bda756 authored by Jean-Baptiste Keck's avatar Jean-Baptiste Keck
Browse files

remove directory check in build.sh

parent 92f2c519
No related branches found
No related tags found
1 merge request!16MPI operators
Pipeline #24972 failed
Stage: env
    Stage: configure
      Stage: build
        Stage: install
          Stage: test
            Hide whitespace changes
            Inline Side-by-side
            Showing
            with 0 additions and 5 deletions
            ci/scripts/build.sh
            + 0
            − 5
            View file @ c6bda756
            ...@@ -6,11 +6,6 @@ if [ $# -ne 4 ]; then ...@@ -6,11 +6,6 @@ if [ $# -ne 4 ]; then
            exit 1 exit 1
            fi fi
            if [ ! -d "$1" ]; then
            echo "Folder {} does not exist."
            exit 1
            fi
            BUILD_FOLDER="$1" BUILD_FOLDER="$1"
            mkdir -p $BUILD_FOLDER mkdir -p $BUILD_FOLDER
            cd $BUILD_FOLDER cd $BUILD_FOLDER
            ......
            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