bump.sh: warn on when VERSION doesn't have a 'v' prefix
This commit is contained in:
		
							parent
							
								
									e3d4303ea8
								
							
						
					
					
						commit
						19951ecc71
					
				| @ -7,6 +7,11 @@ fi | ||||
| 
 | ||||
| VERSION=$1 | ||||
| 
 | ||||
| if ! echo $VERSION | grep "^v"; then | ||||
|     echo "invalid version"; | ||||
|     exit 1 | ||||
| fi | ||||
| 
 | ||||
| cd $(dirname $0)/.. | ||||
| 
 | ||||
| sed -i 's/(defconst ghc-version ".*")/(defconst ghc-version "'"$VERSION"'")/' \ | ||||
|  | ||||
		Loading…
	
		Reference in New Issue
	
	Block a user
	 Daniel Gröber
						Daniel Gröber