Skip to content
Snippets Groups Projects
Select Git revision
  • caa1be62b6d7d9a481d4c2ee2d18dab3ea79dd50
  • master default protected
  • klee-analysis
  • v0.2.0
  • v0.1.2
  • v0.1.1
  • v0.1.0
7 results

script.sh

Blame
  • script.sh 155 B
    set -ex
    
    main() {
        cross build --target $TARGET
    
        if [ $TARGET = x86_64-unknown-linux-gnu ]; then
            cross test --target $TARGET
        fi
    }
    
    main