unikernels/BENCHMARKING/UNIKERNEL/WebServer/cmake_build.sh
Gaetan Longree 4411d5800e First commit
2018-05-11 15:51:48 +02:00

8 lines
59 B
Bash

#!/bin/bash
mkdir -p build
pushd build
cmake ..
make
popd