fix accidental deletion

This commit is contained in:
Martin Kroeker 2020-04-08 14:58:37 +02:00 committed by GitHub
parent 353e996d1d
commit aa170123e6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -164,6 +164,6 @@ steps:
- make QUIET_MAKE=1 $COMMON_FLAGS - make QUIET_MAKE=1 $COMMON_FLAGS
- make -C test $COMMON_FLAGS - make -C test $COMMON_FLAGS
- make -C ctest $COMMON_FLAGS - make -C ctest $COMMON_FLAGS
- make -C utest $COMMON_F - make -C utest $COMMON_FLAGS
- make -C benchmark $COMMON_FLAGS - make -C benchmark $COMMON_FLAGS
- benchmark/dgemm.goto - benchmark/dgemm.goto