diff options
| -rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 6ead4db7e..ff3ea284f 100755 --- a/debian/rules +++ b/debian/rules @@ -45,7 +45,7 @@ override_dh_strip: debian/build.stamp: rm -f debian/build.stamp mkdir -p $(GOBIN) - cd src && bash ./make.bash + +cd src && bash ./make.bash >debian/build.stamp opt_no_act = |