makefile -> makefile_travis

vincent-picaud · Oct 29, 2020 · 1feb1af · 1feb1af
1 parent 96044c8
commit 1feb1af
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -3,4 +3,5 @@ dist: trusty
 services:
   - docker
 script:
-  - make
+  - make -f Makefile_travis
+
diff --git a/Makefile → Makefile_travis b/Makefile → Makefile_travis
-Original file line number
+Diff line change
@@ Expand Up / @@ -3,4 +3,5 @@ dist: trusty @@
     services:
       - docker
     script:
-      - make
+      - make -f Makefile_travis