Added Zynq build

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@8307 8c9fc860-2736-0410-a75d-ab315db34111

tools/builds/a2/makefile

@@ -6,7 +6,7 @@ MAKEFLAGS += --no-builtin-rules --no-builtin-variables
 .SUFFIXES: # delete the default suffixes
 
 tool := $(if $(wildcard oberon), ./oberon, ./original)
-platforms := Bios32 Bios64 Win32 Win64 Linux32 Linux64 Darwin32 Darwin64 Solaris32 Solaris64 \
+platforms := Bios32 Bios64 Zynq Win32 Win64 Linux32 Linux64 Darwin32 Darwin64 Solaris32 Solaris64 \
 	RPiC ZynqC Linux32C Linux64C
 
 target := Linux64

tools/builds/cron.hourly/a2-builds

@@ -32,3 +32,4 @@ process Solaris32 &
 process Solaris64 &
 process Win32 &
 process Win64 &
+process Zynq &