source: git/clone_autogen_generated_stuff.sh @ f17318

spielwiese
Last change on this file since f17318 was bc03ea6, checked in by Mohamed Barakat <mohamed.barakat@…>, 11 years ago
added script clone_autogen_generated_stuff.sh (for Hans)
  • Property mode set to 100755
File size: 221 bytes
Line 
1#!/bin/sh
2
3[ -d libpolys ] || { echo "the subdirectory libpolys does not exist; this does not seem to be the directory the Singular root directory"; exit 1;}
4
5git clone git@github.com:Singular/AUTOGEN_generated_stuff.git
Note: See TracBrowser for help on using the repository browser.