Merge branch 'master' into fix-rr-scheduler

mlouielu · mlouielu · commit bf2a6056b063 · 2017-08-25T14:20:32.000+08:00
diff --git a/.travis.yml b/.travis.yml
@@ -23,5 +23,5 @@ before_script:
   - arm-none-eabi-gcc --version
 
 script:
-  - make TARGET=stm32p103
-  - make TARGET=stm32p103 check
+  - make PLAT=stm32p103
+  - make PLAT=stm32p103 check
