Commit c17c419c authored by Matthias Simon's avatar Matthias Simon
Browse files

Fix scripts

parent dcd97b99

.gitlab-ci.yml

+3 −3
Original line number Diff line number Diff line
@@ -3,14 +3,14 @@ stages: 
  - package

  - deploy



before_script:

  - apk add bash



# format-check verifies that our tests follow guide lines, are well named and

# formatted.

format-check:

  stage: test

  script:

    - env | sort

    - pwd

    - ls -l

    - ./build-aux/check-consistency

    - ./build-aux/tidy-tests

    - if ! git diff --quiet; echo "ATS is not tidied. Please run ./build-aux/tidy-tests locally and verify. Thanks."; exit 1; fi

build-aux/check-consistency

+1 −1
Original line number Diff line number Diff line
@@ -15,7 +15,7 @@ while IFS= read -r -d $'\0' file; do 
	name=$(basename $file .ttcn)



	: Verify that the file path only contains valid characters.

	if ! [[ $file =~ [A-Za-Z0-9_]+ ]]; then

	if ! [[ ${file%.ttcn} =~ [A-Za-z0-9_/]+ ]]; then

		error "invalid characters in file path: $file"

	fi