Skip to content

Commit

Permalink
Remove build-profiles as requested
Browse files Browse the repository at this point in the history
  • Loading branch information
serock committed Dec 15, 2023
1 parent b063866 commit 3715042
Showing 1 changed file with 1 addition and 4 deletions.
5 changes: 1 addition & 4 deletions index/pl/pla_util/pla_util-2.1.1.toml
Original file line number Diff line number Diff line change
Expand Up @@ -20,9 +20,6 @@ libpcap = "^1.8.1"
[configuration]
generate_c = false

[build-profiles]
pla_util = "release"

[build-switches]
"*".ada_version = "ada12"
"*".debug_info = ["-g", "-gnateE"]
Expand All @@ -39,6 +36,6 @@ validation.optimization = ["-O3", "-gnatn"]
release.optimization = ["-O3", "-gnatn"]

[origin]
commit = "91fbbcb1d331c9f2796b854b22a5fed4b8cded58"
commit = "b456c20d9257315c8c264a5a6006827a5c77684d"
url = "git+https://github.com/serock/pla-util.git"

0 comments on commit 3715042

Please sign in to comment.