lh-docker-isabelle/build.sh

5 lines
84 B
Bash
Raw Normal View History

2019-01-02 07:41:12 +00:00
#!/bin/bash
set -e
docker build -t logicalhacking:debian4isabelle debian4isabelle