minor

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 sudo ln -s `which llvm-config-10` `which llvm-config`; llvm-config --version; fi
+  - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo ln -sf `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