Sanity Test Results

devel/riscv64-none-elf-gcc:

I did not find a Makefile for this port, and none was mentioned in the
commit.  If a repocopy has been done, please ignore this message. This
command (FreshPorts code 1):

/usr/local/bin/sudo /usr/sbin/chroot -u freshports
/var/db/freshports/ports-jail /make-port.sh /var/db/repos/PORTS-head
devel/riscv64-none-elf-gcc
2>/tmp/FreshPorts.devel.riscv64-none-elf-gcc.make-error.2020.1.25.21.53.38.
73703

produced this error:

Error message is: cd: /var/db/repos/PORTS-head/devel/riscv64-none-elf-gcc:
No such file or directory
make: cannot open
/var/db/repos/PORTS-head/devel/riscv64-none-elf-gcc/Makefile.
Make results are : 
make: stopped in /