mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-30 17:59:17 +08:00
Makefile: Remove ARCH
This commit is contained in:
@@ -2,7 +2,6 @@ version?=$(shell grep '^[Vv]ersion:' pandoc.cabal | awk '{print $$2;}')
|
||||
pandoc=$(shell find dist -name pandoc -type f -exec ls -t {} \; | head -1)
|
||||
SOURCEFILES?=$(shell git ls-tree -r master --name-only | grep "\.hs$$")
|
||||
BRANCH?=master
|
||||
ARCH=$(shell uname -m)
|
||||
DOCKERIMAGE=registry.gitlab.b-data.ch/ghc/ghc4pandoc:8.10.4
|
||||
COMMIT=$(shell git rev-parse --short HEAD)
|
||||
TIMESTAMP=$(shell date "+%Y%m%d_%H%M")
|
||||
|
||||
Reference in New Issue
Block a user