Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-03 15:18:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

updates to development helper scripts to support new workflow

Browse source
This commit is contained in:
Vern Paxson 2021-06-04 17:02:43 -07:00
parent e1dc3e7b08
commit e722607bd9
6 changed files with 18 additions and 33 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/script_opt/CPP/non-embedded-build
View file

@ -1,7 +1,5 @@
#! /bin/sh
base=../../..
so=$base/src/script_opt/CPP
echo > $so/CPP-gen.cc
cd $base/build
cd ../../../build
echo >CPP-gen.cc
ninja || echo Non-embedded build failed