$ git clone -n https://src.fedoraproject.org/rpms/hevea.git /var/lib/mock/f33-build-297592-55966/root/chroot_tmpdir/scmroot/hevea Cloning into '/var/lib/mock/f33-build-297592-55966/root/chroot_tmpdir/scmroot/hevea'... $ git reset --hard 678b586e229e3738351bce4423f9c32f1b341066 HEAD is now at 678b586 Don't set OCAMLFLAGS.