Added "ENABLE_PLUGINS := 0" to verific amd64 build instructions
authorClifford Wolf <clifford@clifford.at>
Sat, 8 Nov 2014 10:38:44 +0000 (11:38 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 8 Nov 2014 10:38:44 +0000 (11:38 +0100)
commitacf010d30d650aef500952d5de4ea5ec939d78a0
tree867eafbcaeaf02b480226c7ad1b4f9340d1a8b93
parentb9f2127f5d5a78bab74f511a71b6a369065a0383
Added "ENABLE_PLUGINS := 0" to verific amd64 build instructions
frontends/verific/build_amd64.txt