use override

Author: pdschubert

.travis.yml

@@ -83,6 +83,6 @@ script:
   - cd $TRAVIS_BUILD_DIR/examples/llvm-hello_world
   - make
   # Override llvm-config to match the required one
-  - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then alias llvm-config='llvm-config-10'; llvm-config --version; llvm-config-10 --version; llvm-config --cppflags; fi
+  - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo ln -s `which llvm-config-10` `which llvm-config`'; llvm-config --version; fi
   - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then cd $TRAVIS_BUILD_DIR/examples/plugins; make; fi
   - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then cd $TRAVIS_BUILD_DIR/examples/use-phasar-as-library; mkdir build; cd build/; cmake ..; make; fi