mirror of
https://github.com/vortexgpgpu/vortex.git
synced 2025-04-23 13:27:29 -04:00
minor update
This commit is contained in:
parent
2d4fef6dd6
commit
f4ed1e97f7
2 changed files with 5 additions and 5 deletions
|
@ -20,7 +20,7 @@ install:
|
|||
- export PATH=$VERILATOR_ROOT/bin:$PATH
|
||||
|
||||
script:
|
||||
- travis_wait 45 make
|
||||
- travis_wait 45 make -s
|
||||
- travis_wait 45 ci/test_runtime.sh
|
||||
- travis_wait 45 ci/test_driver.sh
|
||||
- travis_wait 45 ci/test_riscv_isa.sh
|
||||
|
|
|
@ -122,9 +122,9 @@ if [ $DEBUG -eq 1 ]
|
|||
then
|
||||
if [ $SCOPE -eq 1 ]
|
||||
then
|
||||
DEBUG=1 SCOPE=1 CONFIGS="$CONFIGS" make -C $DRIVER_PATH $DRIVER_EXTRA > build.log 2>&1
|
||||
DEBUG=1 SCOPE=1 CONFIGS="$CONFIGS" make -s -C $DRIVER_PATH $DRIVER_EXTRA
|
||||
else
|
||||
DEBUG=1 CONFIGS="$CONFIGS" make -C $DRIVER_PATH $DRIVER_EXTRA > build.log 2>&1
|
||||
DEBUG=1 CONFIGS="$CONFIGS" make -s -C $DRIVER_PATH $DRIVER_EXTRA
|
||||
fi
|
||||
|
||||
if [ $HAS_ARGS -eq 1 ]
|
||||
|
@ -136,9 +136,9 @@ then
|
|||
else
|
||||
if [ $SCOPE -eq 1 ]
|
||||
then
|
||||
SCOPE=1 CONFIGS="$CONFIGS" make -C $DRIVER_PATH $DRIVER_EXTRA > build.log 2>&1
|
||||
SCOPE=1 CONFIGS="$CONFIGS" make -s -C $DRIVER_PATH $DRIVER_EXTRA
|
||||
else
|
||||
CONFIGS="$CONFIGS" make -C $DRIVER_PATH $DRIVER_EXTRA > build.log 2>&1
|
||||
CONFIGS="$CONFIGS" make -s -C $DRIVER_PATH $DRIVER_EXTRA
|
||||
fi
|
||||
|
||||
if [ $HAS_ARGS -eq 1 ]
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue