Fix CI

2019-11-09 16:43:10 +01:00
parent 7e4d142682
commit 4401ad6747
3 changed files with 3 additions and 3 deletions
@@ -47,7 +47,7 @@ install:
    git submodule -q update --init `
      3rdparty/cereal `
      3rdparty/ffmpeg `
-      3rdparty/GSL `
+      3rdparty/span `
      3rdparty/hidapi `
      3rdparty/libpng `
      3rdparty/libusb `