diff options
-rwxr-xr-x | tutorial/ovs-sandbox | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tutorial/ovs-sandbox b/tutorial/ovs-sandbox index d2619486c..a2e9f7a8c 100755 --- a/tutorial/ovs-sandbox +++ b/tutorial/ovs-sandbox @@ -301,7 +301,7 @@ OVS_SYSCONFDIR=$sandbox; export OVS_SYSCONFDIR if $built; then # Easy access to OVS manpages. - (cd "$builddir" && ${MAKE} install-man mandir="$sandbox"/man) + (cd "$builddir" && ${MAKE-make} install-man mandir="$sandbox"/man) MANPATH=$sandbox/man:; export MANPATH fi |