diff options
author | Jean-Mickael Guerin <jean-mickael.guerin@6wind.com> | 2016-03-02 22:34:50 +0100 |
---|---|---|
committer | Jean-Mickael Guerin <jean-mickael.guerin@6wind.com> | 2016-03-07 10:52:58 +0100 |
commit | 433688dbdcaa550f7cdb6314742fb46c0c95d5d8 (patch) | |
tree | dcdd72f46908ceac02b32b2a859a52d29d687b0f /vppinfra/Make.defs | |
parent | 02301ef86375c7deb2aca6a6a77bd50aa7ebe1b7 (diff) |
build: fix call to mkdir
Seen during build:
/bin/bash: line 1: @mkdir: command not found
Remove the extra prefix '@', this line is part of a
single operation actually.
Change-Id: I5fc265ae7c2dda01c61b369803d3c30a42a91f70
Signed-off-by: Jean-Mickael Guerin <jean-mickael.guerin@6wind.com>
Diffstat (limited to 'vppinfra/Make.defs')
0 files changed, 0 insertions, 0 deletions