![]() |
|
|||
File indexing completed on 2025-08-03 08:09:24
0001 #!/bin/sh 0002 0003 if [ $# -ne 1 ]; then 0004 echo "wrong number of arguments" 0005 echo "" 0006 echo "usage: check_format <DIR>" 0007 exit 1 0008 fi 0009 0010 WD="$(cd "$(dirname "$1")"; pwd)/$(basename "$1")" 0011 docker run --rm -ti -v $WD:$WD:rw -w $WD gitlab-registry.cern.ch/acts/machines/check_llvm8:latest CI/check_format .
[ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
This page was automatically generated by the 2.3.7 LXR engine. The LXR team |
![]() ![]() |