tree 6689296a11304110f913c5b3d26d9e2f4069cc99
parent fa90e23f4f15126a255263debc5a54e183f5b29e
author Andrew Scull <ascull@google.com> 1540229968 +0100
committer Andrew Scull <ascull@google.com> 1540231266 +0100

Fix sync vs no-sync allocation.

There are two cases or handling sync vs no-sync allocation but were
inconsistent in approach. Now, as no-sync is the special case, it is
always assumed that sync is the default and no-sync can be specified to
override it.

Change-Id: I4d84bfb898bd568f4f5632c5efd0c14a30d7a146