Update README and Travis config

hangpark · Apr 14, 2017 · 7404db1 · 7404db1
1 parent f92a5d9
commit 7404db1
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -55,6 +55,8 @@ $ sudo docker run -t -d -v <your-pintos-dir>:/pintos --name <container-name> han
 **Note:** Make sure that `src` is not `<your-pintos-dir>`, but the directory
 contains `src` directory directly is.
 
+**Note:** Make sure that `<your-pintos-dir>` to be an absolute path.
+
 ## Run
 
 To run Pintos, use following command:

diff --git a/pintos-travis.yml b/pintos-travis.yml
@@ -14,4 +14,7 @@ before_install:
   - docker pull hangpark/pintos-dev-env-kaist
 
 script:
-  - docker run -v $TRAVIS_BUILD_DIR:/pintos hangpark/pintos-dev-env-kaist /bin/bash -c "cd /pintos/src/$TARGET_DIRECTORY && make grade" > /dev/null && cat src/$TARGET_DIRECTORY/build/grade
+  - docker run -v $TRAVIS_BUILD_DIR:/pintos hangpark/pintos-dev-env-kaist /bin/bash -c "cd /pintos/src/$TARGET_DIRECTORY && make grade" > /dev/null
+
+after_success:
+  - cat src/$TARGET_DIRECTORY/build/grade