diff options
Diffstat (limited to 'tests/dockerfiles')
-rw-r--r-- | tests/dockerfiles/Debian_testing.docker | 5 | ||||
-rw-r--r-- | tests/dockerfiles/Kali.docker | 5 | ||||
-rw-r--r-- | tests/dockerfiles/Ubuntu_16_04.docker | 5 |
3 files changed, 12 insertions, 3 deletions
diff --git a/tests/dockerfiles/Debian_testing.docker b/tests/dockerfiles/Debian_testing.docker index 33ec8d1..a1010ed 100644 --- a/tests/dockerfiles/Debian_testing.docker +++ b/tests/dockerfiles/Debian_testing.docker @@ -23,7 +23,10 @@ RUN ls /src RUN mkdir /src/build WORKDIR /src/build RUN cmake .. && \ - make && \ + # The parallel build sometimes fails when the .grc_gnuradio + # and .gnuradio directories do not exist + mkdir $HOME/.grc_gnuradio/ $HOME/.gnuradio/ && \ + make -j $(nproc) && \ make install && \ ldconfig && \ make test diff --git a/tests/dockerfiles/Kali.docker b/tests/dockerfiles/Kali.docker index 3cb3257..c844540 100644 --- a/tests/dockerfiles/Kali.docker +++ b/tests/dockerfiles/Kali.docker @@ -23,7 +23,10 @@ RUN ls /src RUN mkdir /src/build WORKDIR /src/build RUN cmake .. && \ - make && \ + # The parallel build sometimes fails when the .grc_gnuradio + # and .gnuradio directories do not exist + mkdir $HOME/.grc_gnuradio/ $HOME/.gnuradio/ && \ + make -j $(nproc) && \ make install && \ ldconfig && \ make test diff --git a/tests/dockerfiles/Ubuntu_16_04.docker b/tests/dockerfiles/Ubuntu_16_04.docker index 28e01a6..21eafec 100644 --- a/tests/dockerfiles/Ubuntu_16_04.docker +++ b/tests/dockerfiles/Ubuntu_16_04.docker @@ -23,7 +23,10 @@ RUN ls /src RUN mkdir /src/build WORKDIR /src/build RUN cmake .. && \ - make && \ + # The parallel build sometimes fails when the .grc_gnuradio + # and .gnuradio directories do not exist + mkdir $HOME/.grc_gnuradio/ $HOME/.gnuradio/ && \ + make -j $(nproc) && \ make install && \ ldconfig && \ make test |